16 research outputs found
Consistent Probabilistic Social Choice
Two fundamental axioms in social choice theory are consistency with respect
to a variable electorate and consistency with respect to components of similar
alternatives. In the context of traditional non-probabilistic social choice,
these axioms are incompatible with each other. We show that in the context of
probabilistic social choice, these axioms uniquely characterize a function
proposed by Fishburn (Rev. Econ. Stud., 51(4), 683--692, 1984). Fishburn's
function returns so-called maximal lotteries, i.e., lotteries that correspond
to optimal mixed strategies of the underlying plurality game. Maximal lotteries
are guaranteed to exist due to von Neumann's Minimax Theorem, are almost always
unique, and can be efficiently computed using linear programming
Optimal Partitions in Additively Separable Hedonic Games
We conduct a computational analysis of fair and optimal partitions in
additively separable hedonic games. We show that, for strict preferences, a
Pareto optimal partition can be found in polynomial time while verifying
whether a given partition is Pareto optimal is coNP-complete, even when
preferences are symmetric and strict. Moreover, computing a partition with
maximum egalitarian or utilitarian social welfare or one which is both Pareto
optimal and individually rational is NP-hard. We also prove that checking
whether there exists a partition which is both Pareto optimal and envy-free is
-complete. Even though an envy-free partition and a Nash stable
partition are both guaranteed to exist for symmetric preferences, checking
whether there exists a partition which is both envy-free and Nash stable is
NP-complete.Comment: 11 pages; A preliminary version of this work was invited for
presentation in the session `Cooperative Games and Combinatorial
Optimization' at the 24th European Conference on Operational Research (EURO
2010) in Lisbo
A tournament of order 24 with two disjoint TEQ-retentive sets
Brandt et al. (2013) have recently disproved a conjecture by Schwartz (1990) by non-constructively showing the existence of a counterexample with about 10 136 alternatives. We provide a concrete counterexample for Schwartz’s conjecture with only 24 alternatives
On the structure of stable tournament solutions
A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our understanding of stable choice functions. In particular, (1) we show that every stable choice function is generated by a unique simple choice function, which never excludes more than one alternative, (2) we completely characterize which simple choice functions give rise to stable choice functions, and (3) we prove a strong relationship between stability and a new property of tournament solutions called local reversal symmetry. Based on these findings, we provide the first concrete tournament—consisting of 24 alternatives—in which the tournament equilibrium set fails to be stable. Furthermore, we prove that there is no more discriminating stable tournament solution than the bipartisan set and that the bipartisan set is the unique most discriminating tournament solution which satisfies standard properties proposed in the literature